#include "Day.h"

class Month
{
private:
	int NumberOfDays;
	string MonthName;

public:
	Month(){}

	Month(int NumberOfDays	,string MonthName)
	{
		//Require(NumberofDays == 28 || NumberofDays == 29 || NumberofDays == 30 || NumberofDays == 31)
		this->MonthName = MonthName;
		this->NumberOfDays = NumberOfDays;
		//Ensure (this->NumberofDays == NumberofDays)
	}

	void setMonthName(string MonthName)
	{
		this->MonthName = MonthName;
	}

	void setNumberOfDays(int NumberOfDays)
	{
		//Require(NumberofDays == 28 || NumberofDays == 29 || NumberofDays == 30 || NumberofDays == 31)
		this->NumberOfDays = NumberOfDays;
		//Ensure (this->NumberofDays == NumberofDays)

	}

	string getMonthName()
	{
		return MonthName;
	}

	int getNumberOfDays()
	{
		return NumberOfDays;
	}

	~Month(){}
}